// Author: Ivan Kazmenko (gassa@mail.ru)
// Validator for problem "worm"
module validate;
import std.exception;
import testlib;

immutable int maxC = 10 ^^ 9;

struct Point
{
	int x, y;
}

void main (string [] args)
{
	initTestlib !(TestlibRole.validator) (args);

	Point a, b;
	a.x = inFile.read !(int) (-maxC, +maxC);
	inFile.skip (" ");
	a.y = inFile.read !(int) (-maxC, +maxC);
	inFile.skip ("\n");
	b.x = inFile.read !(int) (-maxC, +maxC);
	inFile.skip (" ");
	b.y = inFile.read !(int) (-maxC, +maxC);
	inFile.skip ("\n");
	enforce (a != b);

	inFile.checkEof ();
}
